181. Theoretical Computer Science :
Author: edited by Armin B. Cremers, Hans-Peter Kriegel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.
Classification :
QA267
.
E358
1982
182. Theoretical and crosslinguistic approaches to the semantics of aspect /
Author: edited by Susan Rothstein.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Grammar, Comparative and general-- Aspect.,Semantics.,Typology (Linguistics),Grammar, Comparative and general-- Aspect.,LANGUAGE ARTS & DISCIPLINES-- Grammar & Punctuation.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Syntax.,Semantics.,Typology (Linguistics)
Classification :
P281
.
T44
2008eb
183. Theoretical aspects of computing -- ICTAC 2018 :
Author: Bernd Fischer, Tarmo Uustalu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
L63
184. Theoretical computer science :
Author: edited by Lian Li, Pinyan Lu, Kun He.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA75
.
5
185. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
Author: edited by Ehud Shapiro.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
Classification :
QA76
.
6
E358
1986
186. Towards a formal description of Ada
Author: edited by D. Bjorner and O.N. Oest
Library: Central Library and Documentation Center (Kerman)
Subject: ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
Classification :
QA
76
.
L4
v
.
98
187. Towards a formal description of Ada
Author: edited by D. Bjørner and O.N. Oest.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
73
.
A35
E358
1980
188. Tracking reason :
Author: / Jody Azzouni
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Proof theory,Logic, Symbolic and mathematical
Classification :
E-BOOK
189. Transactions on large-scale data- and knowledge-centered systems XXXVII /
Author: edited by Abdelkader Hameurlain, Roland Wagner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Data mining, Congresses.,Database management, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer networks.,Computer science.,Computer security.,Computer security.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Operating Systems-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data mining.,Data mining.,Network hardware.,Operating systems (Computers),Operating systems.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
A25
190. Twenty-Five Years of Logical Methodology in Poland
Author: edited by Marian Przełęcki, Ryszard Wójcicki.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Philosophy (General),Science -- Philosophy.
Classification :
BC57
.
E358
1977
191. Typed Lambda Calculi and Applications :
Author: edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Lambda calculus -- Congresses.,Logic design.
Classification :
QA9
.
5
E358
1995
192. UML 2 semantics and applications
Author: edited by Kevin Lano
Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
Subject: Computer software, Development,Application software, Development,UML )Computer science(,Formal languages, Semantics
Classification :
QA
76
,.
76
.
U5
2009
193. UML 2 semantics and applications
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Development. ; Application software ; Development. ; UML (Computer science) ; Formal languages ; Semantics. ;
194. UML 2 semantics and applications
Author: / edited by Kevin Lano
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software--Development,Application software--Development,UML (Computer science),Formal languages--Semantics
Classification :
QA
,
76
.
76
,.
D47
,
U39
,
2009
195. UML 2 semantics and applications
Author: / edited by Kevin Lano
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer software, Development,Application software, Development,UML (Computer science),Formal languages, Semantics
Classification :
E-BOOK
196. Verbal Reduplication in Anatolian
Author: Dempsey, Timothy Richard
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
197. introduction to computable languages and abstract machines
Author: Parkes, Alan
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Formal languages- Syntax ► Computational linguistics ► Semantics
Classification :
005
P245a
